﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using RWLibrary.Logic.BooleanExpression;

namespace RWLibrary.Logic.Statements
{
    public class ObservationStatement : Statement
    {
        public ObservationStatement(IBooleanExpression alpha, List<string> actionList)
        {
            Alpha = alpha;
            ActionList = actionList;
        }

        public IBooleanExpression Alpha { get; protected set; }
        public List<string> ActionList { get; protected set; }

        public override string ToString()
        {
            StringBuilder str = new StringBuilder();
            str.Append("Observable ");
            str.Append(Alpha.ToString());
            str.Append(" after (");
            foreach(string s in ActionList)
            {
                str.Append(s+", ");
            }
            str.Append(")");
            return str.ToString();
        }
    }
}
